Modelling Dynamics in Aspect-Oriented Programs

- Cheers, Hayden; Lin, Yuqing